منابع مشابه
Gulliver's Genie: agency, mobility, adaptivity
The challenge presented by ambient intelligence and pervasive computing is an environment within which computing artifacts become seamlessly merged into our surroundings, whereby interaction with such artifacts becomes intuitive and unobtrusive, where the devices become sensitive to the presence of people and are imbued with the ability to anticipate and service the individual needs of each and...
متن کاملGENIE-M: a new and improved GENIE-1 developed in Minnesota
GENIE-M: a new and improved GENIE-1 developed in Minnesota K. Matsumoto, K. S. Tokos, A. Price, and S. Cox Department of Geology and Geophysics, University of Minnesota, Minneapolis, USA Southampton e-Science Center, Southampton, UK Received: 21 February 2008 – Accepted: 24 March 2008 – Published: 27 March 2008 Correspondence to: K. Matsumoto ([email protected]) Published by Copernicus Publicatio...
متن کاملUnleashing the Verification Genie in the Cloud
Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) solver available from Microsoft Research. It is used as a logic engine in several program analysis, test-generation and verification systems. Z3 exposes a number of APIs for these applications, but is in itself a low-level tool. We discuss the design trade-offs we have faced and different ways we lower the barrier of entry to use Z3....
متن کاملGenie--gene finding in Drosophila melanogaster.
A hidden Markov model-based gene-finding system called Genie was applied to the genomic Adh region in Drosophila melanogaster as a part of the Genome Annotation Assessment Project (GASP). Predictions from three versions of the Genie gene-finding system were submitted, one based on statistical properties of coding genes, a second included EST alignment information, and a third that integrated pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Mathematical Intelligencer
سال: 2017
ISSN: 0343-6993,1866-7414
DOI: 10.1007/s00283-016-9695-5